Towards a More Eecient Stochastic Constraint Solver

نویسندگان

  • Jimmy H.M. Lee
  • Ho-fung Leung
چکیده

E-GENET shows certain success on extending GENET for non-binary CSP's. However, the generic constraint representation scheme of E-GENET induces the problem of storing too many penalty values in constraint nodes and the min-connicts heuristic is not eecient enough on some problems. To overcome these two weaknesses and further improve the performance, we propose several modiications. All of them together can boost the eeciency of E-GENET without resorting to modifying the underlying network model or the convergence procedure in an ad hoc manner. The performance of modiied E-GENET also compares well against that of CHIP.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards a More Efficient Stochastic Constraint Solver

E-GENET shows certain success on extending GENET for non-binary CSP's. However, the generic constraint representation scheme of E-GENET induces the problem of storing too many penalty values in constraint nodes and the min-connicts heuristic is not eecient enough on some problems. To overcome these two weaknesses and further improve the performance, we propose several modiications. All of them ...

متن کامل

Using Stochastic Methods to Guide Search in CLP : a Preliminary

Recently Lee, Stuckey and Tam have shown the feasibility and advantages of incorporating stochastic solvers into constraint logic programming (CLP) systems. Their approaches, while eecient, both suuer from some form of incompleteness and complication in semantics. This paper proposes a generalization of these previous eeorts by using stochastic methods to guide and speed up the search of deriva...

متن کامل

An Overview of HAL

Experience using constraint programming to solve real-life problems has shown that nding an eecient solution to the problem often requires experimentation with diierent constraint solvers or even building a problem-speciic constraint solver. HAL is a new constraint logic programming language expressly designed to facilitate this process. It provides a well-deened solver interface, mutable globa...

متن کامل

Using Stochastic Solvers in Constraint Logic Programming

This paper proposes a general framework for integrating a constraint logic programming system with a stochastic constraint solver to solve constraint satisfaction problems eeciently. Stochastic solvers can solve hard constraint satisfaction problems very eeciently, and constraint logic programming allows heuristics and problem breakdown to be encoded in the same language as the constraints. Hen...

متن کامل

Integrating Stochastic Solvers with Constraint Logic Programming

This paper proposes a general framework for integrating a constraint logic programming system with a stochastic constraint solver to solve constraint satisfaction problems eeciently. Stochas-tic solvers can solve hard constraint satisfaction problems very eeciently, and constraint logic programming allows heuristics and problem breakdown to be encoded in the same language as the constraints. He...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996